微型波力发电装置的捕浪器研究

针对漂浮式微型波力发电装置,根据弗汝德·克雷洛夫假定法对几种常用形状浮子所受波浪力的大小进行了计算,得出垂直圆柱形浮子吸收波浪能效果最佳的结论;运用装置和浮子共振时吸收能量最大的原理,对垂直圆柱形浮子的基本参数进行了研究,为漂浮式微型波力发电装置捕浪器浮子的设计打下了基础。     

教育成本刍议

文章试图从教育成本概述、教育成本的类别、教育成本核算、教育成本预测与计划以及教育成本控制等方面对教育成本进行论述。     

对第四代战斗机综合航电系统的构想

通过对战斗机综合航电系统的回顾,分析了第四代战斗机及其航电系统的主要特征和关键技术,并对我国新一代综合航电系统的能力、功能等进行了展望.为提高我国航空电子技术的水平,要充分研究国外先进技术,对第四代战斗机综合航电系统进行分析和预先研究.     

弹炮结合目标防空部署方案优化评估

针对弹炮结合目标防空,选取主攻方向角、有效杀伤重叠区、有效火力范围、抗干扰能力、兵力机动能力、圆周遮蔽角、抗击概率、被掩护目标的安全性和火力密度9个评估准则,提出了弹炮结合目标防空部署方案的优化模型和评估方法.     

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

分布式实时网络半实物仿真方法研究

介绍了基于分布式实时网络的复合寻的制导武器半实物仿真试验环境建立的基本方法,对其工作原理、主要设备和技术进行了分析。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

线性调频基带数字产生的关键技术研究

介绍超宽带线性调频信号基带的数字产生方法及其实现技术。首先对线性调频信号的两种主要数字产生方法进行了简要阐述和比较，然后根据波形存储直读法提出了一种超宽带线性调频信号产生方案，分析了基带数字产生的主要关键技术，并进行了系统实现和测试。测试结果表明本文所提出的方法是可行的。     

装甲器材申请计划及辅助决策模型问题研究

通过对我军装甲装备器材管理体制中,器材计划请领与供给的现状分析,提出了运用运筹学的理论和方法,结合计算机信息化管理手段,探讨装甲装备器材消耗规律模型和进行申请计划辅助决策分析的一整套解决方案。